『ゲーデルは何を証明したか―数学から超数学へ』(E. ナーゲル J.R. ニューマン)
https://images-fe.ssl-images-amazon.com/images/I/5104GCYAZML.SL160.jpg
『ゲーデルは何を証明したか—数学から超数学へ』（E. ナーゲル J.R. ニューマン）
ゲーデルの不完全性定理の概要について、わかりやすく書かれてると思う。さらっと読み通しただけやし、不完全性定理について読んだのは本書がはじめてやから、十分に理解はしてないし、よくわかってない。それでも、途中まではふむふむと納得しながら進めたので、かなり噛み砕いて解説してくれてるんちゃうかなぁ、と思う。次読むときは式などを書き出しながら、腰を据えて読みたい。
- 『数学ガール：フェルマーの最終定理 （数学ガールシリーズ 2）』（結城 浩）